// Copyright (c) Open Enclave SDK contributors.
// Licensed under the MIT License.

#ifndef _OE_INTERNAL_PROPERTIES_H
#define _OE_INTERNAL_PROPERTIES_H

#include <openenclave/bits/properties.h>

#if defined(__x86_64__) || defined(_M_X64)
#include "sgx/sgxproperties.h"
#endif

#endif /* _OE_INTERNAL_PROPERTIES_H */
